$\vdash$  $\forall$$P$:$\mathbb{P}$, $d$:Dec($P$). ($\uparrow$[$d$]$_{b}$) $\Leftarrow\!\Rightarrow$ $P$